命題18

命題18

 

 

2つの相似な平面数の間に1つの比例中項があり、そしてその平面数は対応する辺が対応する辺に持つ比の2乗の比をその平面数に持つ。

 

AB2つの相似な平面数とし、数CDAの辺、EFBの辺とする。

 

さて、相似な平面数はそれらの辺に比例を持つ数であるから、それゆえにCDに対し同じようにEFに対する。definitionZ.21

 

ABの間に1つの比例中項があり、ABに対してCEに、またはDFに、つまり対応する辺が対応する辺に持つ比の2乗の比を持つことをいう。

 

さてCDに対し同じようにEFに対するから、それゆえに、入れ替えてCEに対し同じようにDFに対する。propositionZ.13

 

そして、Aは平面数であり、CDはそれらの辺であるから、それゆえにDCを掛けてAを作る。同じ理由でEFを掛けてBを作る。

 

Gを作るためにDEを掛ける。DCを掛けてAを作り、Eを掛けてGを作るから、それゆえにCEに対し同じようにAGに対する。propositionZ.17

 

しかしCEに対し同じようにDFに対し、それゆえにDFに対し同じようにAGに対する。再度、EDを掛けてGを作り、Fを掛けてBを作るから、DFに対し同じようにGBに対する。propositionZ.17

 

しかしDFに対し同じようにAGに対することは証明されていて、それゆえにAGに対し同じようにGBに対する。それゆえにAGBは連続して比例している。

 

それゆえにABの間に1つの比例中項がある。

 

次にAはまたBに対応する辺が対応する辺に、つまり、CEに、またはDFに持つ比の2乗の比を持つことをいう。

 

AGBは連続して比例しているから、ABAGに持つ比の2乗の比を持つ。そしてAGに対し同じようにCEに対する。それゆえにAはまたBCEに、またはDFに持つ比の2乗の比を持つ。definitionX.9

 

それゆえに、2つの相似な平面数の間に1つの比例中項があり、そしてその平面数は対応する辺が対応する辺に持つ比の2乗の比をその平面数に持つ。

 

証明終了

 

 

 

第8巻命題17へ  第8巻命題19へ  第8巻目次へ